SHA256 (mpfr-3.1.5/mpfr-3.1.5.tar.xz) = AV/egrOXn75fg1AZhtMoMxuo3fAIwf89o8I49JygYrw=
SHA256 (mpfr-3.1.5/patch01) = 39YqQqI5xCe7RAh7SlIO281luuatH74HMDyW7oaWr70=
SHA256 (mpfr-3.1.5/patch02) = iN/vptOcn9WiakDZu8c9+NqT+UbGXAYDgCYmHXjZGfU=
SIZE (mpfr-3.1.5/mpfr-3.1.5.tar.xz) = 1126668
SIZE (mpfr-3.1.5/patch01) = 2608
SIZE (mpfr-3.1.5/patch02) = 3447
